Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
781	Issue in Software Testing with Model Checkers Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-09 10:41:44 Software engineering Software testing Temporal logic SPIN model checker ALGOL 68 Computing Formal methods Model theory Model checkers Programming language theory Model checking
782	Automated Testing with ACST and a Model Checker Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-02 16:02:22 NuSMV Model checking Parameter
783	Logic-Based Methods for Assurance of Complex System Performance Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:23 Philosophical logic Non-classical logic Modal logic Model theory Metalogic Model checking Kripke semantics Categorical logic Natural deduction Logic Mathematical logic Mathematics
784	This file is to be used only for a purpose specified by Palgrave Macmillan, such as checking proofs, preparing an index, reviewing, endorsing or planning coursework/other institutional needs. You may store and print the Add to Reading List Source URL: www.ease.org.uk Language: English - Date: 2012-12-20 05:20:12 Geography of Singapore Education in Singapore Collective intelligence Mathematical model Mathematical modeling Static single assignment form FO Dimensional analysis Level of measurement Anglo-Chinese School Measurement Mathematics
785	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
786	Verification with Small and Short Worlds Rohit Sinha UC Berkeley Cynthia Sturton UC Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-09-01 13:52:57 Computer hardware Central processing unit Computer memory CPU cache Cache Memory management unit Page table Model checking Uclid Computer architecture Computing Virtual memory
787	Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Theoretical computer science Logic in computer science Model checking Formal verification Symbolic execution First-order logic Validation Static single assignment form Model theory Logic Formal methods Mathematical logic
788	Downloaded from qualitysafety.bmj.com on January 12, [removed]Published by group.bmj.com Checking it twice: an evaluation of checklists for detecting medication errors at the bedside using a chemotherapy model Rachel E Wh Add to Reading List Source URL: www.ismp-canada.org Language: English - Date: 2011-01-13 14:22:27 Medical informatics Medical terms Medical diagnosis Medical error Checklist Infusion pump Medical prescription Error detection and correction Medical record Medicine Health Patient safety
789	Downloaded from qshc.bmj.com on August 23, [removed]Published by group.bmj.com Checking it twice: an evaluation of checklists for detecting medication errors at the bedside using a chemotherapy model Rachel E White, Patri Add to Reading List Source URL: www.ismp-canada.org Language: English - Date: 2010-08-23 16:37:46 Pharmacology Medical terms Medical ethics Medical diagnosis Medical error Checklist Medical prescription Pharmaceutical drug Type I and type II errors Medicine Health Patient safety
790	Model Checking An Entire Linux Distribution for Security Violations Benjamin Schwarz Hao Chen David Wagner {bschwarz, hchen, daw}@cs.berkeley.edu Geoff Morrison Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Software bugs Time of check to time of use File system File locking File descriptor Malware Rm Off-by-one error Setuid Computing Unix Software

UPDATE